Judge OKs $4B BP oil spill criminal settlement