Computational noncommutative algebra and applications