the companies account for 85 of coal production