Google's rolling out July 2019 patch with better 'Ok Google' detection for Pixel users