Combinatorial group theory for pro-p groups