Geology Applied to Mining; a Concise Summary of the Chief Geological Principles, a Knowledge of Which is Necessary to the Understanding and Proper Exploitation of Ore-deposits, for Mining men and Students