A numerical model for ATP-driven potassium transport