Probabilistic regularisation and symmetry in binocular dynamic programming stereo