STF: Formada maioria pela constitucionalidade de normas que vetam o planejamento tributário abusivo