A Theory of Genetic Analysis Using Transcriptomic Phenotypes