Nitrous oxide pollution on operating theatres in relation to the type of leakage and the number of efficacious air exchanges per hour