how and where is coal mined and processed