Kiralama varlık ve yükümlülüklerinin sistem desteği ile hesaplanması, IFRS 6 hesaplamaları için yazılım desteği (LeaseCockpit)