Sovaldi may be cost-effective, but the U.K. can't afford it, documents say