Gravar-mail: Gene capture prediction and overlap estimation in EST sequencing from one or multiple libraries