How much did VMware pay to acquire the Atlanta-based provider of enterprise mobility management software?