Research Experience for Teachers mixes collegiate research with K-12 teaching