Provably data-driven projection method for quadratic programming