A novel path for carbon-rich resource utilization with lower emission and higher efficiency: An integrated process of coal gasification and coking to methanol production