Energy use and related emissions of the UK residential sector: quantitative modelling and policy implications