around of world coal production is from underground mines