Propensity Score Methods in Health Technology Assessment: Principles, Extended Applications, and Recent Advances