Certifiable Mutual Localization and Trajectory Planning for Bearing-Based Robot Swarm