Non-linear technological progress and the substitutability of energy for capital: An application using the translog cost function