Microsoft to acquire Xamarin, a platform provider for mobile app development