A framework for statistical timing analysis using non-linear delay and slew models