Height of an ideal