CloudMan: A Platform for Portable Cloud Manufacturing Services