Static Probabilistic Timing Analysis for Multi-path Programs