ball milling ball mill definition in spanish