Fast and scalable Lasso via stochastic Frank–Wolfe methods with a convergence guarantee