Mining the ocean floor: Managing geological uncertainty