Characterization of porous silicon by microscopic Fourier transform infrared spectroscopy