Now live on 1,000 farms and with a billion-dollar valuation, agtech startup Halter is proof that software beyond the screen can rewire even the oldest industries—right down to the cows!