CAREER: High Integrity Navigation for Autonomous Vehicles