Miami restaurant owner turns to robot server amid worker shortage