Exact Exploratory Bi-factor Analysis: A Constraint-based Optimisation Approach | Synapse