Rapid-scan, polarimetric, mobile, Doppler-radar observations of the formation, evolution, and structure of the El Reno tornado of 31 May 2013