https://www.rhosignal.com/posts/polars-query-profiling/