Energy use and productivity performance in the Nigerian manufacturing sector (1970‐90)