Sommerferie, Danmark 2020