'Diminished in size': Brazilian court bans Bolsonaro from running again until 2030