Optimizing Top-k Retrieval: Submodularity Analysis and Search Strategies