Quantized universal enveloping algebras