High Performance and Lightweight Mobile Cloud Infrastructure Monitor and Benchmark Service using RESTful, JMS and JSON