Oil exports resume through Port Sudan