An exposition of Poincaré's polyhedron theorem