tool used for milling machine