The k-path tree matroid and its applications to survivable network design