The History of the British Coal Industry