The turbulent life of the Dutch spy and dancer Mata Hari is at the heart of this large-scale ballet production by Dutch National Ballet. As the exotic, mysterious Mata Hari, she b…