The El Reno, OK, Tornado of May 31, 2013: A Case Study