Quantum string theory