Distributed Certifiably Correct Range-Aided SLAM