High Performance Agent-Based Modeling to Study Realistic Contact Tracing Protocols