Ergodic theory, entropy, and x2,x3: an exposition of Furstenberg's x2,x3 conjecture