Tướng lĩnh nào của Quân đội nhân dân Việt Nam từng giữ chức vụ Chủ tịch nước Cộng hòa xã hội chủ nghĩa Việt?