Gravar-mail: Robust and Efficient Semi-Supervised Estimation of Average Treatment Effects with Application to Electronic Health Records Data