Efficient methanol synthesis: Perspectives, technologies and optimization strategies