Efficient and precise sensor fusion for non-linear systems with out-of-sequence measurements by example of mobile robotics.