Robust and efficient semi-supervised estimation of average treatment effects with application to electronic health records data