Binh chủng Công binh, Quân đội nhân dân Việt Nam