[nexa] modello teorico sull`efficacia del contact tracing