Monte Carlo simulation of BaF/sub 2/ detectors used in time-of-flight positron emission tomography