vertucal milling machine definition