Gunman killed in attack on Mali hotel hosting EU mission