Quantum Toda theory