Tunisian official: Ras Jedir border crossing reopens