王猛军事比诸葛亮强吗