Efficiently Aggregating Over Multiple Non-Disjoint Groups in Polars Dataframe