Probability on Hilbert space effect algebras