Transcriptome sequencing and annotation of the halophytic microalga Dunaliella salina