platform.node() vs socket.gethostname() for getting hostname in Python