Geschiedenis tribologie