Designing local flexibility markets: A toolbox for policymakers and market operators | Synapse