ŝmiri, enŝmiri, (Technik) lubriki