Using Polars instead of Pandas with Big Data