Gravar-mail: Identifying Cases of Metastatic Prostate Cancer Using Machine Learning on Electronic Health Records