Gravar-mail: Design and performance of a high spatial resolution, time-of-flight PET detector