Dual Extrapolation for Faster Lasso Solvers