The Pauli Exclusion Principle: Origin, Verifications, and Applications