Portugal introduces ban on face coverings in public