Equation-of-motion coupled-cluster methods for doubly ionized and doubly electron-attached states with single, double, and triple substitutions: Theory, implementation, and benchmarks | Synapse