Are the school summer holidays too long?