It’s (sort of) official – Google overtakes Microsoft in mobile