9 dead in tornado in Oklahoma City area, 100 hurt