Discrete Variational Problems: A Differential-Algebraic Framework and Constructive Solutions | Synapse