Case search algorithm based on model of user search behavior