Air quality in the operating theatre: a perspective