Open source cloud computing chosen as Korean service provider's public cloud