Official: Ramadi fell to ISIS after troops ordered out