Quantum statistical mechanics of vortices in type II superconductors