On integer and bilevel formulations for the k-vertex cut problem