Gravissimum Educationis and School Choice