Will Microsoft lose billions in Android revenue?