Amplitude Analysis of B+ → J/ψ ϕ K+ Decays