Gautrain Management Agency finalises procurement for new high-speed rail operator