Robots give hi-tech boost to Kenya's airport