Text this: Model reduction for constrained mechanical systems via spectral submanifolds