Graph-Structure-Based Grouping of Web Browser Tabs into Tasks