Gravar-mail: Paired-end read length lower bounds for genome re-sequencing