Power-to-Gas through High Temperature Electrolysis and Carbon Dioxide Methanation: Reactor Design and Process Modeling