Lexington opera house capacity