Jelly Bean reaches 25 per cent of Android devices, now that Google counts active users rather than pings