Turkish army kills 42 Kurdish militants, official says