A simultaneous optimization model for a heat-integrated syngas-to-methanol process with Kalina Cycle for waste heat recovery. (15th July 2021)