Formal models in research on IT investment evaluation