appendixdictionary of mining mineral and