Analysis of blink-induced vertical motion of contact lenses