Gravar-mail: Strong rules for discarding predictors in lasso-type problems