Mathematical structure of quantum measurement theory