We gratefully acknowledge financial support from the Swedish Research Council (Vetenskapsrådet), the Royal Swedish Academy of Sciences (Kungliga Vetenskaprådet), and the Psi-K network.
We thank the journal /Computation/ for sponsoring a two BEST POSTER awards.