Interference cancellation with bayesian channel models and application to TDOA/IPDL mobile positioning