Modeling Contact Tracing