Eight killed in gun attack in Kenyan town of Garissa