Probabilistic direction-dependent ionospheric calibration for LOFAR-HBA