阳平关之战在三国历史上存在吗?