Markets for Direct Current Distribution Systems: Towards Energy-based vs Flex-based Designs