Google’s revenue from Android tops $31 billion