Resource-Aware Algorithms for Distributed Loop Closure Detection with Provable Performance Guarantees.