Situation theory and its applications