The influence of workload and health behavior on job satisfaction of general practitioners.