Total buys Marathon Oil’s Libyan interest