formatters for switch and port IDs