Energy efficiency and agglomeration economies: the case of Japanese manufacturing industries