Max Operation in Statistical Static Timing Analysis on the Non-Gaussian Variation Sources for VLSI Circuits