Pennsylvania gaming revenue grows to $479.4m for May