Who should participate in health care priority setting and how should priorities be set? Evidence from a Portuguese survey