Deciding Boolean Algebra with Presburger Arithmetic