David Robertson, World Series champion and All-Star, retires after 17-year MLB career