Dimensional reduction of type-II superstrings