how much is bernie sanders worth