Guaranteed Boxed Localization in MANETs by Interval Analysis and Constraints Propagation Techniques