中石化中石油中海油合并了吗