Manual of mineralogy, including observations on mines, rocks, reduction of ores, and the applications of the science to the arts