Hybridisation of Sequential Monte Carlo Simulation with Non-Linear Bounded-Error State Estimation Based on Interval Analysis Applied to Global Localisation of Mobile Robots