北京大爷以前海军当兵，后国企当工人，军龄+工龄退休金有多少？