CiDi updated prospectus, aiming for “1,000 units delivered” of autonomous mining trucks