Petrolina supera metas e tem maior IDEB entre as cidades pernambucanas com mais de 100 mil habitantes