Navio-plataforma Alexandre de Gusmão parte da China rumo ao Brasil, diz Petrobras