we could make this NSDateFormatter reusable (i.e. static) to improve performance