Tornado hits Denver airport, but no damage reported