Costa Rica: Congress bans open-pit mines