Hadoop-based tools for manipulating the ClueWeb12 collection