Quais ferramentas são comumente utilizadas para misturar a areia e o cimento no procedimento de amassamento manual do concreto?