Algorithmic Tools For Data-Oriented Law Enforcement