Pixel 4 will soon support dual-frequency GPS