Superstructure optimization reveals novel cost-optimal power-to-methanol pathways using hybrid solid oxide electrolysis cells | Synapse