pretoria is part of south africa