Amplitude Analysis and Branching Fraction Measurement of anti-B0s → J/ψ K+ K−