An analysis of tissue-specific alternative splicing at the protein level