DuckLake is an integrated data lake and catalog format