BP appeals US judge's ruling on size of Gulf oil spill