​陳友諒​率領大軍攻打洪都城,兵力到底有多少?