Is INTP a rare personality type?