Integrated Hydrogen-Electricity Market Design