Working time and workers' preferences in industrialized countries