add milliseconds to NSDateFormatter