pengertian sejarah menurut ibnu khaldun