A convergent hierarchy of semidefinite programs characterizing the set of quantum correlations