Colombian army kills 30 FARC guerrillas: media