Design and modeling of a high resolution and high sensitivity PET brain scanner with double-ended readout