Gravar-mail: Effect of time-of-flight and point spread function modeling on detectability of myocardial defects in PET