Text this: IsoProDB: an integrated map of human protein isoforms for accelerated research