Text this: An Intersection Inequality Sharper than the Tanimoto Triangle Inequality for Efficiently Searching Large Databases.