Auto-enrolment: how to operate salary sacrifice alongside automatic enrolment