Theoretical Foundation of Flow-Based Time Series Generation: Provable Approximation, Generalization, and Efficiency