planetary and vibratory micro mill wikipedia