A branch and price algorithm for a Stackelberg Security Game. (September 2017)