how many students attend davis high school utah