VMware is now a US$20.6 billion company