20世纪八十年代中期以来，已经完成三次大规模裁军，共裁剪军队员额（　）。