Gambling revenues decline after smoking ban