‏‫‭Technical glossary of mining engineering‏‫‭: derived from dictionary of mining, mineral and related terms