On-machine coordinate measurements in micro EDM milling