This research is supported by the Austrian Fonds zur F¨orderung der Wissenschaftlichen
Forschung (FWF) under grant no. P12645-INF. The Austrian
Research Institute for Artificial Intelligence is supported by the Austrian Federal
Ministry of Education, Science and Culture