Shipboard comparison of micro‐ and minielectrodes for measuring oxygen distribution in marine sediments