Highlights and Challenges in the Selective Reduction of Carbon Dioxide to Methanol