Computational Invariant Theory