what it the coal mining process from the rock to the final product