Happy birthday Android: what Google’s mobile OS has accomplished in four years