Height of a prime ideal