Should school summer holidays be cut short?