Binary fuse filters: Fast and smaller than xor filters (2022)