Police: 9 dead after gunmen open fire at Munich shopping mall