Model-Based Mask Process Correction and Verification for Advanced Process Nodes