Short Presburger Arithmetic Is Hard