Google could make Pixel 5a official on August 17, says report