NBC: Ruth Bader Ginsburg's personal library sells at auction for $2.35 million