coal and the industrial revolution