Tara.ai, Which Uses Machine Learning To Spec Out And Manage Engineering Projects, Nabs $10M