Water and potassium dynamics inside the KcsA K+ channel