Read port number from config file