Quadratic programming is in NP