Algorithms for polycyclic-by-finite groups