Testing a steam-formaldehyde sterilizer for gas penetration efficiency