Title: A Glossary of Terms Used in Coal Mining