The BBC’s Frank Gardner describes the operation to capture the Islamic State (IS) group leader.