Operator in quantum mechanics whose eigenvalues label states with the number of particles in the system in those states