A comparison of the eco-efficiency of two production routes for methanol