Geology Applied to Mining; A Concise Summary of the Chief Geological Principles, a Knowledge of Which Is Necessary to the Understanding and Proper Exp