20150809 world.rest-of-world: At least 12 killed as Mali hotel siege ends