RWE in HTAs in the United Kingdom