司马错、张仪论伐蜀