What exactly is a social introvert?