Exact Transcriptome Reconstruction from Short Sequence Reads