A mean-squared-error condition for weighting ionospheric delays in GNSS baselines