What is the most common oil change interval for heavy-duty diesel engines under normal operating conditions?