7 killed, 15 wounded in Dutch mall shooting