Model property renaming

As requested in [AGPUSH-229](jira.jboss.org/browse/AGPUSH-229) this PR covers the documentation/sepc-side of renaming the 'mobileOperatingSystem' field to 'operatingSystem' field.