Institute of Informatics, University of Warsaw, Warsaw, Poland. dojer@mimuw.edu.pl|Institute of Informatics, University of Warsaw, Warsaw, Poland. dojer@mimuw.edu.pl|Institute of Informatics, University of Warsaw, Warsaw, Poland. dojer@mimuw.edu.pl|Institute of Informatics, University of Warsaw, Warsaw, Poland. dojer@mimuw.edu.pl