Which president appointed the Justice who retired and left a vacancy that was filled by Judge Sonia Sotomayor?