how is coal mining detected