Using Subobservers to Synthesize Opacity-Enforcing Supervisors