Vehicle Dynamics Modeling for Autonomous Racing Using Gaussian Processes