Provable Subexponential Algorithms for NIST Third-Round Lattice Families