How to calculate finish times for the runners stranded in last year’s Boston Marathon