An information-based exploration strategy for environment mapping with mobile robots