Survey model-assisted estimation with the lasso