the coal industry during the industrial revolution