The Vertical Structure of a Tornado near Happy, Texas, on 5 May 2002: High-Resolution, Mobile, W-band, Doppler Radar Observations