aurafarms builds autonomous robots that detect and mechanically kill pests in greenhouses.