Electricity market design requirements for DC distribution systems