Format-time-string handles ISO weeks with aplomb