Sun International buys Emperors Palace owner’ Peermont Holdings for R7.3bn