Strong rules for discarding predictors in lasso-type problems