should school holidays be shorter?