Bureau of Mines research on the hydrogenation and liquefaction of coal and lignite