Modeling TCR Signaling Complex Formation in Positive Selection 1