ASTD: The Alternative Splicing and Transcript Diversity database