As the industrial revolution got rolling and coal was in great demand by the mid-18th century, how did the coal get from the mines to places it was used?