Statistical Timing Analysis for Intra-Die Process Variations with Spatial Correlations