Position and motions of the S4 helix during opening of the Shaker potassium channel