El Salvador lifts ban on metal mining.