A Surrogate Objective Framework for Prediction+Programming with Soft Constraints