Text this: Time trends in prevalence of depressive disorder in the Danish working population from 2012 to 2018.