Situation Theory and Its Applications