Gravar-mail: Weighted pooling—practical and cost-effective techniques for pooled high-throughput sequencing