quanto custa o stf ao pagador de impostos