Signs of recovery: US Q3 commercial gaming revenue reaches $9bn