Magnetostriction and the two-spin correlation function in EuO