Dynamical simulation via quantum machine learning with provable generalization