Finitely-presented groups: questions and algorithms