Carbon dioxide utilization in methanol synthesis plant: process modeling