Computing Time for a Filing Deadline: Should You Count a Day When a Clerk’s Office is Closed?