Technical ArticlesDistrict cooling network optimization with redundancy constraints in SingaporeDorfner et al.