The theory of Boolean ultrapowers