司马懿打诸葛亮到底有多少兵马