Text this: Optimal Decomposition of Service Level Objectives into Policy Assertions