Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem