Machine-learned Regularization and Polygonization of Building Segmentation Masks | IEEE Conference Publication | IEEE Xplore