The quenching of porous silicon photoluminescence by gaseous oxygen