Judge allows Gulf oil spill settlement to proceed