Google launches the Pixel 5a with 5G support and a big battery