Text this: Building Specifications in the Event-B Institution