Mixed AC-DC electricity distribution system design algorithms and test cases in GAMS