Search Formula-1——A distributed high performance massive data engine for enterprise/vertical search