Understanding System Configuration on iOS Devices: How to Retrieve Device Model and Machine Name Using sysctl