How do duvet ties inside duvet covers work?