Development of the Brand Personality Scale for Red Tourism Destinations and an Empirical Study on Its Impact on Tourists’ Sense of Happiness