Smartphone shootout: Which mobile OS is the biggest productivity-booster?