Brega repairs Benghazi port platform