Using EHRs to assess gender differences in the utilization of mental health services for patients diagnosed with major depression