Equivalence of Penalized and Constrained Lasso Formulations