Malmquist indices of productivity change in the UK gas industry before and after privatisation