Is LazyFrame.group_by_dynamic not basically the same thing?