New iOS models

getPlatformModel now returns iPad 4th Gen and iPad mini models