NASA Robots Compete in DARPA's Subterranean Challenge Final