High-rises in Pretoria demolished after court ruling on safety