Google has paid $80 billion to Android app developers