A Formal Comparison between Datalog-based Languages for Stream Reasoning (extended version)