An Optimization Model for Task Scheduling in Mobile Cloud Computing | Synapse