Coach and no regrets about it: On the life satisfaction, work-related mental strain, and use of supervision of workplace coaches