appendix dictionary of mining mineral and related terms