what kind of oil should i use when drilling in metal