Google could make a long-overdue switch with the Pixel 10 in 2025