Gravar-mail: Integrating computationally assembled mouse transcript sequences with the Mouse Genome Informatics (MGI) database