Walk me through the mathematical difference between Ridge and Lasso regression, and explain when you would choose one over the other.