US judge Ruth Bader Ginsburg dead at 87