Identifying probable post-traumatic stress disorder: applying supervised machine learning to data from a UK military cohort. (2nd January 2019)