É segurado obrigatório do regime geral de previdência social o servidor público