Spatial correlation function of the sky wave for use in space diversity reception