How tall is the royal opera house