The Computational Complexity Of Presburger Arithmetic