Testing lexicographic semiorders as models of decision making: Priority dominance, integration, interaction, and transitivity