An energy system model to study the impact of combining carbon pricing with direct support for renewable gases