Type II string theory