Assembly-design-oriented semantic modeling and assembly configuration simulation in virtual environment