Potassium permeation through the KcsA channel: a density functional study