History of the theory of ore deposits, with a chapter on the rise of petrology