Incidence and efficiency aspects of differential taxation of residential and industrial capital in a growing economy