Signatures and Induction Principles for Higher Inductive-Inductive Types (Logical Methods in Computer Science, 2020)