Mixed extensions of decision-form games