Finite quantum field theory in noncommutative geometry