The mechanism of Na⁺/K⁺ selectivity in mammalian voltage-gated sodium channels based on molecular dynamics simulation.