how coal is mined from the ground