A review of hydrogen production technologies for energy system models