TBIM: A Language for Modeling and Reasoning About Business Plans