Types and uses of EDM in manufacturing