Gravar-mail: Construction and applications of exon-trapping gene-targeting vectors with a novel strategy for negative selection