HMRC clarifies its position on the interaction between salary sacrifice and auto-enrolment