Computational algebraic complexity