Tripoli NOC: Total has not sold Mabruk share