Teaching Automated Strategic Reasoning Using Capstone Tournaments