Experimental application of an autonomous mobile robot for gas leak detection in indoor environments.