A glossary of the mining and mineral industry