Aristocrat Gaming Makes Splash With $3.71 Billion Playtech Deal