AI-Based Clinical Rule Discovery for NMIBC Recurrence through Tsetlin Machines