Efficient Detection of Objects Near a Robot Manipulator via Miniature Time-of-Flight Sensors