Robotics Matured on Pentagon Budgets That Are Now Shrinking