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