football playoff odds: How models turn ratings and schedules into probabilities