a theatre is used for staging plays