Precambrian atmospheric oxygen and banded iron formations: A delayed ocean model