At least 20 students on pat-down protocol in Denver high schools, records show