Signatures and Induction Principles for Higher Inductive-Inductive Types