The Quadratic Minimum Spanning Tree Problem: Lower Bounds via Extended Formulations | Synapse