Constructing Infinitary Quotient-Inductive Types