Should there be a longer summer vacation?