Continuous Reformulations of Discrete-Continuous Optimization Problems