Simulating Current-Energy Converters: SNL-EFDC Model Development, Verification, and Parameter Estimation