Syria: ISIS militants defeated in last major stronghold