What is school district number for worthington ohio