Modeling Strategic Behavior: A Graduate Introduction to Game Theory and Mechanism Design