Google Pixel 4a is official: Hole-punch display and 128GB of storage