Expedited Multi-Target Search with Guaranteed Performance via Multi-fidelity Gaussian Processes