Google reveals that 10 percent of devices are using Android 9 Pie, nine months after its release