The vertical structure of a tornado: High-resolution, W-band, Doppler-radar observations near Happy, Texas on 5 May 2002