Microsoft makes $2 billion a year from patents used by Android.