The Booleanization of an inverse semigroup