Autonomous Driving System Design for Formula Racing