getter for port number from the "Host" header