Machining lubrication