Theoretical Analysis of Cross-Validation for Estimating the Risk of the k-Nearest Neighbor Classifier