US July gross gaming revenue reaches $5.71bn