coal exploration mine planning and development