Senior ISIS leaders killed on Iraqi-Syrian border