Liquid fuel production; System optimization model; Energy supply security; Carbon prices