how is coal mined and processed