The impact of school holidays on the social mixing patterns of school children