Energy modelling challenges for the full decarbonisation of hard-to-abate sectors | Synapse