what is coal coal mining and processing