Pentagon Puts $12 Million Toward Robot Surgery