A Short History of the Scottish Coal-Mining Industry