An integer programming formulation of the Steiner problem in graphs