Title: The efficiency of the coal industry