Workers make headway on Theodore Roosevelt presidential library in North Dakota's Badlands