What is the function of feed control system in EDM