Type II superstring theory