Text this: An improved binary programming formulation for the secure domination problem.