A Resource-Aware Approach to Collaborative Loop-Closure Detection with Provable Performance Guarantees