Binary Fuse Filters: Fast and Smaller Than XOR Filters