Qual é a função do mandado de segurança no processo trabalhista?