Model-based Crawling - An Approach to Design Efficient Crawling Strategies for Rich Internet Applications