What Is a Log File: Definition & Types Explained - Sematext