A cloud service platform integrating additive and subtractive manufacturing with high resource efficiency. (20th December 2019)