Free Join: unifying worst-case optimal and traditional joins (2023)