On the relation between discharge current and optimum gas pressure in hollow cathode lasers