Racing With ROS 2 A Navigation System for an Autonomous Formula Student Race Car