The Kenyan military has released the names of four men it believes were involved in the deadly Westgate Mall attack in Nairobi.