INE confirma abrandamento da inflação em julho pelo nono mês consecutivo para 3,1%