The St. Louis startup has software that uses data and artificial intelligence to create mathematical models designed to help freight carriers make decisions on how best to run their businesses. It plans to use its fresh funding to put its technology in the hands of more trucking companies.