Philadelphia's District and charter high schools: By the numbers