Como fica a pensão por morte de servidor público?