turunan rumus teori kinetik gas