Proper Noun Diacritization for Arabic Wikipedia: A Benchmark Dataset