Protect Your Score: Contact Tracing With Differential Privacy Guarantees