Toward rigorous heat integration tools for coal-fired power plants with CO2 capture and compression