Lasso Screening Rules via Dual Polytope Projection