Egypt’s ancient Sinai library reopened