Are public officials really less satisfied than private sector workers?A comparative study in Brazil