The operator algebra of orbifold models