Hyprop to exit sub-Saharan Africa, but Grit Real Estate stays put