Regularity of the set of points with a non-unique metric projection - Piotr Hajłasz (2020)