Time Series Structure Discovery via Probabilistic Program Synthesis