Time- and Frequency-Dependent Model of Time-Resolved Coherent Anti-Stokes Raman Scattering (CARS) with a Picosecond-Duration Probe Pulse