Offshore oil and gas: overview of industry and ocean information needs