Unifying network configuration and service assurance with a service modeling language