The geometry and topology of arithmetic hyperbolic 3-manifolds