Как продлевается ежегодный оплачиваемый отпуск за счет майских праздников в 2020 г.?