Quantum theory of geometry