Using the UK energy system modelling environment to investigate the market need of high temperature gas-cooled reactors | Synapse