Modeling of Vaccination and Contact Tracing as Tools to Control the COVID-19 Outbreak in Spain