SRI's Pioneer Mobile Robot Shakey Honored as IEEE Milestone