Gravar-mail: On optimal pooling designs to identify rare variants through massive resequencing