Total is allowed to take over Maersk Oil