Modeling, Analysis, and Verification of a Weld-Breaking Mechanism for Automatic Circuit Recloser Applications