Recesso de fim de ano é obrigatório ou opcional para o trabalhador?