How to Produce Methanol from Coal