Design and analysis for chemical process electrification based on renewable electricity: Coal-to-methanol process as a case study