MPC-Based Black Start and Restoration for Resilient DER-Rich Electric Distribution System | Synapse