Estimating the duration of professional tennis matches for varying formats