Somalia intelligence agency names seven al-Shabab leaders killed in recent operations