Génie, Travaux militaires