Differentiable optimization-based modeling for machine learning (PhD Thesis)