Gravar-mail: Design principles for K(+) selectivity in membrane transport