‘Digit’ maker Agility Robotics to go public in $2.5B deal — here’s what the filings say about its …