Mobile Search vs. Traditional Search: How User Behavior Differs and How to Optimize for It