definición de molino de martillos de arroz