Investing in EDM boosts tool shop productivity