Android 4.0 makes its global debut