DARPA Subterranean Challenge: Teams of Robots Compete to Explore Underground Worlds