User-friendly Date/Time Formatting

getBestDateTimePattern() was added in API v18, so will need to find a
solution for earlier Android versions.