A new statistical max operation for propagating skewness in statistical timing analysis