Optimal Semicomputable Approximations to Reachable and Invariant Sets