Stress, anxiety, and depression in hospital consultants, general practitioners, and senior health service managers