Localization, Mapping, Navigation, and Inspection Methods in In-Pipe Robots: A Review | IEEE Journals & Magazine | IEEE Xplore