Theory and Experiments on Multi-Ion Permeation and Selectivity in the NaChBac Ion Channel