Correctness, Strength and Similarity Evaluation of Stemming Algorithms for Arabic