On cross-validated Lasso in high dimensions