Teradyne acquires MiR for $272M, continues robotics spree