Conduction and selectivity in potassium channels