Index of mining engineering literature, comprising an index of mining, metallurgical, civil, mechanical, electrical and chemical engineering subjects as related to mining engineering