1. Charles University in Prague, Faculty of Mathematics and Physics, Prague, Czech Republic and Institute of Computer Science, Academy of Sciences of the Czech Republic, Prague, Czech Republic
2. Charles University in Prague, Faculty of Mathematics and Physics, Prague, Czech Republic