The environmental impacts of different mask options for healthcare settings in the UK