Projection-type methods for large convex quadratic programs: theory and computational experience