Senior Islamic State leader killed in Nigeria: key details