How the REAL Demand Unit involved the public in priority setting