Beating the Hold-Out: Bounds for K-fold and Progressive Cross-Validation