Gravar-mail: Estimation of the false discovery proportion with unknown dependence