Four men believed to have carried out the deadly shopping centre attack in Nairobi last month have been named by the Kenyan military.