Pentagon ramps up efforts to develop space robots that can repair satellites in orbit