Electrochemical etching of porous silicon sacrificial layers for micromachining applications