Prison-based HIV partner notification in Indonesia: rationale and design of a hybrid type 1 effectiveness-implementation study | Synapse