Quantum measurement theory