The Google Pixel 4a is official: Pricing, specs, release date, and more