A Cloud Platform to support User-Provided Mobile Services