SciFinance: A Program Synthesis Tool for Financial Modeling