Ideal triangulations of hyperbolic 3-manifolds