A Multi-Scale Approach to Model K+ Permeation Through the KcsA Channel