How bloom filters made SQLite 10x faster