Mining User Dwell Time for Personalized Web Search Re-Ranking