Hard Rock International purchases Las Vegas casino rights