Personalized search in smart indoor environments: Combining a formal location model, user preferences and semantic similarity.