BASKETBALL: Patton earns All-Ohio