Text this: Binary programming formulations for the upper domination problem.