world coal production by mining method