Palm Beach County mandates masks in public buildings