Quantization of Lie bialgebras