Coal exploration, mine planning and development