Electricity market designs and flexibility