This more efficient distillate of coal was one of the main fuels of the industrial revolution:?