Building Specifications in the Event-B Institution (Logical Methods in Computer Science, 2022)