Market-Based Control of Integrated Electricity-Hydrogen Systems via Peer-to-Peer Co-Trading | Synapse