Verification of tornado predictions