VMware buys SpringSource with Microsoft, Red Hat in mind