FA-STAC: A Framework for Fast and Accurate Static Timing Analysis with Coupling