Gunmen attack restaurant in Mali capital, four dead