Carlos Slim just bet $40 million on Shazam—more money than the app made last year