Joining the results of heterogeneous search engines