A Behavior-Driven Approach to Intent Specification for Software-Defined Infrastructure Management