I don't quite understand the odometer model used in the code. Is it a model from probabilistic robotics ? If so, which one? thank you