三国丁原有多少兵马