How Much Nitrogen is Fixed in the Ocean?