The effect of leisure activities on life satisfaction: the importance of holiday trips