Power System Static-State Estimation, Part I: Exact Model | Synapse