Understanding future emissions from low-carbon power systems by integration of life-cycle assessment and integrated energy modelling