Gravar-mail: Inferring short tandem repeat variation from paired-end short reads