Theoretical analysis of cross-validation for estimating the risk of the k-Nearest Neighbor classifier