‘FARC dissidents’ attack multinational miner in north Colombia: three workers killed