bernie sanders family net worth​