mine engineer mining coalmine equipment and design