A mathematical framework for modelling and evaluating natural gas pipeline networks under hydrogen injection