**Acknowledgements**

This work was supported by The Ministry of Education, Youth and Sports of the Czech Republic from the National Programme of Sustainability (NPU II); project IT4Innovations excellence in science - LQ1602 and "Secure and Reliable Computer Systems" IGA FIT-S-17-4014.
