Verificação dos números citados por António Costa no discurso do Estado da Nação mostra que arredondou dados do investimento público por excesso