Amplitude analysis of B+ -> J/psi phi K+ decays