Title: The efficiency of the British Coal Industry