Modelling the pH-dependent properties of Kv1 potassium channels.