Algorithmic Algebraic Number Theory