From local to global deformation quantization of Poisson manifolds