Sri Lanka troops kill 12 Tiger rebels: military