曹魏伐蜀,吴国是主力吗