what is coal mining and mines coalhtml