Are insufficient corrections a major factor in distal junctional kyphosis? A simulated analysis of cervical deformity correction using in-construct measurements | Synapse