Libya's Waha Oil says it contained leak on Zaqout-Sidra pipeline, pumping resumed after repairs