Computational Technologies of Arabic Language and Its Contribution in E-learning Study on Grammar and Spelling Proofing Tools