Mining-equipment-glossary