SALT: Provably Good Routing Topology by a Novel Steiner Shallow-Light Tree Algorithm