Equation-of-motion spin-flip coupled-cluster model with single and double substitutions: Theory and application to cyclobutadiene | Synapse