coal in the industrial revolution