Mobile Cloud Computing: Models, Implementation, and Security