A porous silicon JFET gas sensor: experimental and modeling