Contribution of time of flight and point spread function modeling to the performance characteristics of the PET/CT Biograph mCT scanner ☆