Parametric study of an efficient renewable power-to-substitute-natural-gas process including high-temperature steam electrolysis