What is the name of the public high school established in 1958 and located in a high shool district that more than 5000 students, grades 7-12 attend?