Dimensional reduction of superstring models