Hoch Auditorium construction