Danske Mærsk selger olje- og gassvirksomhet til franske Total