Modeling and Optimization of the Timing Resolution of Digital SiPM PET Detectors