Petrolina passa pela primeira vez da marca dos 400 mil habitantes, segundo IBGE