Nonlocality in Einstein-Podolsky-Rosen spin correlations