Theoretical and experimental investigation on electrochemical micromachining