Foundations of quantum probability