Statistical static timing analysis