Automating the Royal Shakespeare Theatre