A theory of crack nucleation in high strain fatigue