Dubai World gains less than expected MGM stake