Fact Oriented Modeling with FCO-IM