Experimental and numerical investigation of propagation mechanism of gaseous detonations in channels with porous walls