depth of a local ring