Google Pixel 4a is launching on August 3 – company confirms