First observation of $B^+ \to D_s^+K^+K^-$ decays and a search for $B^+ \to D_s^+\phi$ decays