Text this: Recording of HIV diagnosis in mental health records: A data linkage cohort study