[android] What is the default text size on Android?