The theory of countable Borel equivalence relations