On the automata size for Presburger arithmetic