Returns the port number of this URL.