Zaslat SMS: Amplitude analysis and branching fraction measurement of Bs->J/ψK+K-