Sri Lanka troops 'kill 13 rebels'