US commercial gaming sees third-highest grossing month of all time in July at $5.06B