Comparing Intended and Real Usage in Web Portal: Temporal Logic and Data Mining