The catalytic liquefaction of coal in the presence of ethanol